261. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
262. Transition to Analysis with Proof
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Textbooks,Mathematical analysis -- Textbooks,آن‍ال‍ی‍ز ری‍اض‍ی -- کتاب‌های درسی
رده :
E-Book
,
263. Truth, Error, and Criminal Law
پدیدآورنده : / Larry Laudan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mistake (Criminal law),Reasonable doubt,Burden of proof,Knowledge, Theory of,نظریه شناخت
رده :
K5083
.
L38
2008
264. Truth, error, and criminal law
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mistake (Criminal law) ; Reasonable doubt. ; Burden of proof. ; Knowledge, Theory of. ;
265. Truth, error, and criminal law : an essay in legal epistemology
پدیدآورنده : Laudan, Larry
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mistake )Criminal law(,، Reasonable doubt,، Burden of proof,، Knowledge, Theory of
رده :
K
5083
.
L33T7
266. Understanding mathematical proof /
پدیدآورنده : John Taylor, Rowan Garnier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Proof theory
267. Utilizing problem structure in planning : a local search approach
پدیدآورنده : Hoffmann, Jorg, 1791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Problem solving,، Proof theory,Methodology ، Planning
رده :
QA
76
.
L28
Vol
.
2854
268. Why prove it again? :
پدیدآورنده : John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Proof theory.
رده :
QA9
.
54
269. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
270. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
271. 100% mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996
272. #100 mathematical proof
پدیدآورنده : #Rowan Garnier, John Taylor
موضوع : Proof theory ،Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
273. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
274. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
275. 100 mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
276. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
277. programs-as-Adapting proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
278. proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
279. theoretic approach to proof theory /-A model
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
280. theory-Hybrid logic and its proof
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Logic, Symbolic and mathematical. ;
